Nuprl Definition : mkid 0,22
"$x" == '$x'2 
latex

FDL editor aliasesmkid

origin